
<h1>Parser for Propositional Logic</h1>



<table>
    <tr>
        <td>
            Instructions:
        </td>
        <td>
            <textarea id="instructionsBox" rows="2" cols="38"></textarea>
        </td>
    </tr>
</table>   
 

<table> 
    <tr>
        <td>
            <table>
                <tr>
                    <td>
                        Input:
                    </td>
                    <td>
                        <textarea id="inputBox" rows="5" cols="38" onkeypress = "keypress(event)">
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                    <td>
                        Error:
                    </td>
                    <td>
                        <textarea id="errorBox" rows="2" cols="38"></textarea>
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                    <td>
                        Output:
                    </td>
                    <td>
                        <textarea id="outputBox" rows="5" cols="38"></textarea>
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                    <td>
                        Table:
                    </td>
                    <td>
                        <textarea id="tableBox" rows="15" cols="38"></textarea>
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                    <td>
                        Truth Table:
                    </td>
                    <td>
                        <textarea id="truthTableBox" rows="15" cols="38"></textarea>
                        </textarea>
                    </td>
                </tr>
                
            </table>
           
        </td>
        <td>
            <table>
                <tr>
                    <td>  
                        Debug:
                    </td>
                    <td>
                        <textarea id="debugBox" rows="24" cols="50">
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                    <td>  
                        Counter-examples:
                    </td>
                    <td>
                        <textarea id="counterExamplesBox" rows="10" cols="50">
                        </textarea>
                    </td>
                </tr>
                
                <tr>
                	<td>
                		Assertions:
                	</td>
                	<td>
                		<textarea id="assertionsBox" rows = "15" cols="50">
                		</textarea>
                	</td>
                </tr>
                
            </table>
        </td>
    </tr>
        
</table>

<!-- Down here so that page loads before javascript is run -->
<!-- if multiple js files define the same function, the last one's function is used -->
<script type="text/javascript" src = "StringFunctions.js">
</script>
<script type="text/javascript" src = "table.js">
</script>
<script type="text/javascript" src = "parsing_pl_assume_assert.js">
</script>
